Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

Trends and Applications Fabrication and Characterization Techniques and UnivSEM Institute of Physical Engineering & CEITEC, Brno University of Technology

Source URL: www.univsem.eu

Photo-activation bonding of polymeric materials as a manufacturing technology for all-resin micro-fluidic plates Department of Materials Science and Engineering, Kyoto University A new adhesive-less bonding t

Source URL: www.nsa.mtl.kyoto-u.ac.jp

University of Michigan Annual Report College of Engineering

Source URL: career.engin.umich.edu

• Education
• University of Michigan College of Engineering
• Engineering education
• College of Engineering
• Science and technology in the United States
• Georgia Institute of Technology College of Engineering
• University of Waterloo Faculty of Engineering

2613 Speedway, Stop A2800 | Austin, TX 78712 | (MEDIA CONTACT Lauryn Feil, Communications Coordinator

Source URL: lifelong.engr.utexas.edu

• Education
• Science and technology
• Science
• Engineering education
• University of Texas at Austin
• V-12 Navy College Training Program
• Engineering technologist
• Science
• technology
• engineering
• and mathematics

The ECE Current Fall 2013 ELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, UC SANTA BARBARA

Source URL: www.ece.ucsb.edu

• Herbert Kroemer
• University of California
• Santa Barbara
• Academia
• Umesh Mishra
• Photonics
• Physics
• Science and technology in the United States

Session T1C The Virtual CVD Learning Platform Milo D. Koretsky, Danielle Amatore, Connelly Barnes and Sho Kimura Department of Chemical Engineering, Oregon State University Corvallis, OR

Source URL: www.connellybarnes.com

• Education
• Euthenics
• Knowledge sharing
• Educational psychology
• Educational software
• Educational technology
• Technical communication
• Virtual learning environment
• Chemical vapor deposition

Molding topologically-complex 3D polymer microstructures from femtosecond laser machined glass Allison Schaap and Yves Bellouard* Department of Mechanical Engineering, Eindhoven University of Technology, Postbus 513, 560

Source URL: www.allisonschaap.net

Experimental Progress in 2003 of the UW IEC Facility R. P. Ashley and the UW IEC Team University of Wisconsin-Madison, Fusion Technology Institute 1500 Engineering Drive Madison WI 53706

Source URL: fti.neep.wisc.edu

PDF Document

Source URL: www.dai.ed.ac.uk

• Academia
• Engineering
• Science and technology
• Fellows of the British Computer Society
• School of Computer Science
• University of Manchester
• Artificial intelligence
• Cognitive science
• Computer science education
• Informatics
• Health informatics
• Ambient intelligence
• International Federation for Information Processing